Temporal floorplanning using the three-dimensional transitive closure subGraph
نویسندگان
چکیده
منابع مشابه
Flag-transitive Point-primitive symmetric designs and three dimensional projective special linear groups
The main aim of this article is to study (v,k,λ)-symmetric designs admitting a flag-transitive and point-primitive automorphism group G whose socle is PSL(3,q). We indeed show that the only possible design satisfying these conditions is a Desarguesian projective plane PG(2,q) and G > PSL(3,q).
متن کاملSteiner Transitive-Closure Spanners of d-Dimensional Posets
Given a directed graph G = (V,E) and an integer k ≥ 1, a k-transitive-closure-spanner (k-TCspanner) of G is a directed graph H = (V,EH) that has (1) the same transitive-closure as G and (2) diameter at most k. In some applications, the shortcut paths added to the graph in order to obtain small diameter can use Steiner vertices, that is, vertices not in the original graph G. The resulting spanne...
متن کاملSteiner Transitive-Closure Spanners of Low-Dimensional Posets
Given a directed graph G = (V,E) and an integer k ≥ 1, a Steiner k-transitive-closure-spanner (Steiner k-TC-spanner) of G is a directed graph H = (VH , EH) such that (1) V ⊆ VH and (2) for all vertices v, u ∈ V , the distance from v to u in H is at most k if u is reachable from v in G, and ∞ otherwise. Motivated by applications to property reconstruction and access control hierarchies, we conce...
متن کاملHybrid Transitive Closure Algorithms
We present a new family of hybrid transitive closure algorithms, and present experimental results showing that these algorithms perform better than existing transitive closure algorithms, includmg matrix-based algorithms that divide a matrix into stripes or into square blocks, and graph-based algmtihms. This family of algorithms can be generalized to solve path problems and to solve problems in...
متن کاملTransitive-closure spanners
We define the notion of a transitive-closure spanner of a directed graph. Given a directed graph G = (V,E) and an integer k ≥ 1, a k-transitive-closure-spanner (k-TC-spanner) of G is a directed graph H = (V,EH) that has (1) the same transitive-closure as G and (2) diameter at most k. These spanners were studied implicitly in access control, property testing, and data structures, and properties ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Design Automation of Electronic Systems
سال: 2007
ISSN: 1084-4309,1557-7309
DOI: 10.1145/1278349.1278350